COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	@make(letterhead,Phone"497-4430",Who"John McCarthy",Logo,Old, Department CSD)
C00003 ENDMK
C⊗;
@make(letterhead,Phone"497-4430",Who"John McCarthy",Logo,Old, Department CSD)
@style(indent 8)
@blankspace(14 lines)
@begin(address)
Dr. Masahiko Sato
Department of Information Science
University of Tokyo
7-3-1 Hongo, Bunkyo-Ku
Tokyo, 113 Japan
@end(address)
@greeting(Dear Masahiko)
@begin(body)
Thanks for your letter and papers.  

I am sending you a note on logic programming and a manual for our new interactive
theorem prover, EKL.
@end(body)
Sincerely,




John McCarthy
Professor of Computer Science